一种改进的规则知识获取方法

知识获取是建立专家系统的最基本最重要的过程,但它又是研制和开发专家系统的“瓶颈”。文章提出了一种改进的规则知识机器自动获取技术,它将学习看作是在一个符号描述空间中的启发式搜索过程,能够通过归纳从专家决策的例子中确定决策规则,从而大大简化了从专家到机器的知识转换过程。     

容许两个盘故障的磁盘阵列数据布局与图分解的条件和存在性研究

从一个新的途径讨论容许两个盘故障的磁盘阵列数据布局：把由数据单元和通过“异或”运算得到的校验单元组成的校验组用一个图表示，把校验组容许两个盘故障的阵列布局归结为校验组的单元集合的划分，进而转化为校验组的图的顶点和边组成集合的满足一定条件的分解．证明了校验组容许两个盘故障的单元集合划分的充分必要条件及存在性；讨论了优化阵列布局方案性能的条件；给出了阵列布局的步骤．从而为设计具有最优性能的容许两个盘故障的磁盘阵列数据布局方案提供了有效的途径．     

JFFS2文件系统的关键技术及其在嵌入式系统的应用

文中详细讨论了JFFS2中的垃圾收集、平均磨损和断电保护等技术，介绍了JFFS2文件系统在嵌入式Linux的应用实现技术。     

基于面向对象技术的原型文档自适应器的设计

为了解决传统的原型与面向对象结合技术在评价和表达原型时存在的不足，本文从原型文档管理的角度出发，提出了一种基于工具进行文档管理的面向对象原型开发的新方法及实现策略。并研究和开发了能实现该策略的工具——“原型文档自适应器”。在论述了原型文档自适应器的设计思想后，通过实例对相关理论进行了验证。     

一种数字图像盲增强的新算法

给出一种数字图像盲增强的新算法. 其中源数字图像及其灰度级未知, 已知的仅仅是被噪声污染了的图像. 该算法首先估计密度函数, 然后估计图像的灰度级, 最后去噪声重建图像, 达到图像增强的目的. 仿真例子说明了该算法的有效性.     

软件企业知识管理的思考

首先介绍了知识管理和组织学习的概念，从它们在软件过程改进中的应用－能力成熟度模型开始，对知识与知识技术和软件知识技术进行了述评，包括知识转换模型，知识与知识技术，软件工程知识体系，对象技术等，指出了中国软件企业面临的挑战，最后，举例说明软件企业如何进行知识管理。     

中小型软件企业项目管理的思考

首先指出软件项目管理的三个层次：任务管理、资源管理和关系管理，然后进一步提出了项目管理改进的六个目标。通过科学地设置开发机构，合理地划分项目阶段来实现这些目标，并就项目管理的重点和难点，即充分利用现成资源、加强计划性、控制项目中的各种变化等，进行了讨论和分析。     

基于数据挖掘和范例推理的智能分析决策支持技术综述

介绍了数据挖掘中的一些关键技术、人工智能基于范例推理、决策支持的主要理论及其发展,提出了范例推理、类比学习、规则推理之间的联系,详细探讨了数据挖掘技术、基于范例推理和决策支持理论集成的问题,最后对上述技术在预测领域的综合应用前景作了探讨。     

串空间方法分析协议公平性的研究

探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题。分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分配的扩展;描述协议步骤同步执行的扩展。应用扩展后的串空间模型对KM协议进行了形式化描述。     

一个带有相似性关系的模糊逻辑

模糊集与模糊逻辑是处理模糊性与不确定性信息的重要数学工具，相似性关系是模糊集的一个基本概念。为了在模糊逻辑中集成相似性关系并考虑其模糊推理，提出了一个带有相似性关系的模糊逻辑，给出了其语法及语义描述，在模糊谓词逻辑情形下，讨论并证明了基于归结与调解方法的模糊推理的有关属性，考虑到许多定理证明器和问题解决系统均是基于否证法，证明了归结与调解方法对模糊谓词演算的反驳完备性定理。